Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Libro	Introduction to computability	Hennie, Fred	1st ed.   (c1977)	Domicilio	----------
Libro	Introduction to mathematical logic:	Mendelson, Elliott	5th ed.   (c2010)	Domicilio	----------
Libro	Introduction to the theory of complexity	Bovet, Daniel Pierre	(c1994)	Domicilio	----------
Libro	Quantum computation and quantum information:	Nielsen, Michael A.	(2010)	Domicilio	----------
Libro	Quantum computing since Democritus:	Aaronson, Scott	1st ed.   (2013)	Domicilio	----------
Programa de estudio	Teoría de la Computación y Verificación de Programas	Rosenfeld, Ricardo Fabián	(2012)		----------
Programa de estudio	Teoría de la Computación y Verificación de Programas	Rosenfeld, Ricardo Fabián	(2014)		----------
Programa de estudio	Teoría de la Computación y Verificación de Programas	Rosenfeld, Ricardo Fabián	(2018)		----------
Programa de estudio	Teoría de la Computación y Verificación de Programas	Rosenfeld, Ricardo Fabián	(2019)		----------